failure 69:
Requirement failed: {llroundf.10.01.01;llroundf.05;llroundf.06;llroundf.07;llroundf.08;llroundf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
| location |
| trace |
/var/opt/lsb/test/olver-core/2013-07-25_08-37-08/math_real_scenario.utz (math_real_scenario.utt), line 3883 |
| occurence |
| scenario |
math_real_scenario |
| specification function |
llround_spec() |
| parameter value |
CallContext context = [pid=22148,thr=b74f9700] |
| parameter value |
Unifloat * @x = (float) -Infinity |
| parameter value |
Unifloat * x = (float) -Infinity |
| parameter value |
ErrorCode * @errno = EOK |
| parameter value |
ErrorCode * errno = EOK |
| return value |
(LLongT) -9223372036854775808 |
coverage
& branch |
C
x is infinity |
| properties |
| REQ failed |
llroundf.05 |
| REQ failed |
llroundf.06 |
| REQ failed |
llroundf.07 |
| REQ failed |
llroundf.08 |
| REQ failed |
llroundf.09 |
| REQ failed |
llroundf.10.01.01 |
| kind |
POSTCONDITION_FAILED |
similar known bug(s)
|
The llround() family of functions shall round their argument to the nearest integer value,
rounding halfway cases away from zero, regardless of the current rounding direction.
According to LSB, if argument is NaN, +Inf -Inf, or the correct value is not representable as an
integer then the functions shall set EDOM error code.
But on the target machine, the functions set error code EOK instead of EDOM in these cases.
|
|